J. C. P. Woodcock (eds.): buscar en el sitio web de Z-Library

Donaciones 15 de septiembre 2024 – 1 de octubre 2024 Acerca de la recaudación de fondos

Libre acceso a los conocimientos y la cultura.

Donaciones 15 de septiembre 2024 – 1 de octubre 2024

Z-Library es una de las bibliotecas en línea más grandes del mundo que contiene más de 17,000,000 libros y 84,837,000 artículos. Nuestro objetivo es hacer que la literatura sea accesible para todos. Hoy (15 de septiembre 2024) hemos empezado a recaudar donaciones adicionales para el soporte y desarrollo del proyecto.

También hay descargas ILIMITADAS (durante 31 días después del día de la donación) disponibles para TODOS los usuarios que apoyen el proyecto durante el período de recaudación de fondos hasta el 1 de octubre 2024.

Acerca de la recaudación de fondosVer más

Hacer una donación

Libros (49)
Más populares
Lista
- Lista
- Tabla

1

Bulk Solids Handling: An Introduction to the Practice and Technology

Bulk Solids Handling: An Introduction to the Practice and Technology

C. R. Woodcock DipTech, MSc, PhD, CEng, MIMechE (auth.), C. R. Woodcock DipTech, MSc, PhD, CEng, MIMechE, J. S. Mason BSc, PhD, CEng, FIMechE, FIMarE, MIMinE (eds.)

Año:

1987

Idioma:

english

Archivo:

PDF, 11.14 MB

0 / 0

english, 1987

2

Advances in Molten Salt Chemistry: Volume 3

Advances in Molten Salt Chemistry: Volume 3

L. V. Woodcock (auth.), J. Braunstein, Gleb Mamantov, G. P. Smith (eds.)

Año:

1975

Idioma:

english

Archivo:

PDF, 12.84 MB

0 / 0

english, 1975

3

Domain Modeling and the Duration Calculus: International Training School, Shanghai, China, September 17-21. 2007, Advanced Lectures

Domain Modeling and the Duration Calculus: International Training School, Shanghai, China, September 17-21. 2007, Advanced Lectures

Springer-Verlag Berlin Heidelberg

Alan Burns, Andy Wellings (auth.), Chris W. George, Zhiming Liu, Jim Woodcock (eds.)

Año:

2007

Idioma:

english

Archivo:

PDF, 1.86 MB

0 / 0

english, 2007

4

Formal Methods and Software Engineering: 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003. Proceedings

Formal Methods and Software Engineering: 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003. Proceedings

Springer-Verlag Berlin Heidelberg

Ian J. Hayes (auth.), Jin Song Dong, Jim Woodcock (eds.)

Año:

2003

Idioma:

english

Archivo:

PDF, 5.79 MB

0 / 0

english, 2003

5

LNCS 8051 - Theories of Programming and Formal Methods

LNCS 8051 - Theories of Programming and Formal Methods

Zhiming Liu, Jim Woodcock & Huibiao Zhu (eds.)

Año:

2013

Idioma:

english

Archivo:

PDF, 5.68 MB

0 / 0

english, 2013

6

FM’99 — Formal Methods: World Congress on Formal Methods in the Development of Computing Systems Toulouse, France, September 20–24, 1999 Proceedings, Volume II

FM’99 — Formal Methods: World Congress on Formal Methods in the Development of Computing Systems Toulouse, France, September 20–24, 1999 Proceedings, Volume II

Springer-Verlag Berlin Heidelberg

Pascal Poizat, Christine Choppy, Jean-Claude Royer (auth.), Jeannette M. Wing, Jim Woodcock, Jim Davies (eds.)

Año:

1999

Idioma:

english

Archivo:

PDF, 11.33 MB

0 / 0

english, 1999

7

Theoretical Aspects of Computing – ICTAC 2007: 4th International Colloquium, Macau, China, September 26-28, 2007. Proceedings

Theoretical Aspects of Computing – ICTAC 2007: 4th International Colloquium, Macau, China, September 26-28, 2007. Proceedings

Springer-Verlag Berlin Heidelberg

Dines Bjørner (auth.), Cliff B. Jones, Zhiming Liu, Jim Woodcock (eds.)

Año:

2007

Idioma:

english

Archivo:

PDF, 4.29 MB

0 / 0

english, 2007

8

Formal Methods and Hybrid Real-Time Systems: Essays in Honor of Dines Bjørner and Chaochen Zhou on the Occasion of Their 70th Birthdays

Formal Methods and Hybrid Real-Time Systems: Essays in Honor of Dines Bjørner and Chaochen Zhou on the Occasion of Their 70th Birthdays

Springer-Verlag Berlin Heidelberg

Nikolaj Bjørner (auth.), Cliff B. Jones, Zhiming Liu, Jim Woodcock (eds.)

Año:

2007

Idioma:

english

Archivo:

PDF, 5.37 MB

0 / 0

english, 2007

9

Mathematics of Program Construction: Second International Conference, Oxford, U.K., June 29 – July 3, 1992 Proceedings

Mathematics of Program Construction: Second International Conference, Oxford, U.K., June 29 – July 3, 1992 Proceedings

Springer-Verlag Berlin Heidelberg

Rod Burstall (auth.), R. S. Bird, C. C. Morgan, J. C. P. Woodcock (eds.)

Año:

1993

Idioma:

english

Archivo:

DJVU, 2.44 MB

0 / 0

english, 1993

10

Unifying Theories of Programming and Formal Engineering Methods: International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Advanced Lectures

Unifying Theories of Programming and Formal Engineering Methods: International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Advanced Lectures

Springer-Verlag Berlin Heidelberg

Ruzhen Dong, Johannes Faber, Wei Ke (auth.), Zhiming Liu, Jim Woodcock, Huibiao Zhu (eds.)

Año:

2013

Idioma:

english

Archivo:

PDF, 5.30 MB

0 / 0

english, 2013

11

LNCS 8051 - Theories of Programming and Formal Methods

LNCS 8051 - Theories of Programming and Formal Methods

Jim Woodcock Zhiming Liu & Huibiao Zhu (eds.)

Año:

2013

Idioma:

english

Archivo:

MOBI , 2.37 MB

0 / 0

english, 2013

12

FME '93: Industrial-Strength Formal Methods: First International Symposium of Formal Methods Europe Odense, Denmark, April 19–23, 1993 Proceedings

FME '93: Industrial-Strength Formal Methods: First International Symposium of Formal Methods Europe Odense, Denmark, April 19–23, 1993 Proceedings

Springer-Verlag Berlin Heidelberg

C. B. Jones (auth.), James C. P. Woodcock, Peter G. Larsen (eds.)

Año:

1993

Idioma:

english

Archivo:

DJVU, 6.15 MB

0 / 0

english, 1993

13

Theoretical Aspects of Computing – ICTAC 2013: 10th International Colloquium, Shanghai, China, September 4-6, 2013. Proceedings

Theoretical Aspects of Computing – ICTAC 2013: 10th International Colloquium, Shanghai, China, September 4-6, 2013. Proceedings

Springer-Verlag Berlin Heidelberg

Luca Cardelli, Radu Mardare (auth.), Zhiming Liu, Jim Woodcock, Huibiao Zhu (eds.)

Año:

2013

Idioma:

english

Archivo:

PDF, 5.32 MB

0 / 0

english, 2013

14

Theoretical Aspects of Computing – ICTAC 2010: 7th International Colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010. Proceedings

Theoretical Aspects of Computing – ICTAC 2010: 7th International Colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010. Proceedings

Springer-Verlag Berlin Heidelberg

Ian J. Hayes (auth.), Ana Cavalcanti, David Deharbe, Marie-Claude Gaudel, Jim Woodcock (eds.)

Año:

2010

Idioma:

english

Archivo:

PDF, 4.56 MB

0 / 0

english, 2010

15

Formal Methods and Hybrid Real-Time Systems: Essays in Honor of Dines Bjørner and Chaochen Zhou on the Occasion of Their 70th Birthdays

Formal Methods and Hybrid Real-Time Systems: Essays in Honor of Dines Bjørner and Chaochen Zhou on the Occasion of Their 70th Birthdays

Springer-Verlag Berlin Heidelberg

Nikolaj Bjørner (auth.), Cliff B. Jones, Zhiming Liu, Jim Woodcock (eds.)

Año:

2007

Idioma:

english

Archivo:

PDF, 6.60 MB

0 / 0

english, 2007

16

Formal Methods and Hybrid Real-Time Systems: Essays in Honor of Dines Bjørner and Chaochen Zhou on the Occasion of Their 70th Birthdays

Formal Methods and Hybrid Real-Time Systems: Essays in Honor of Dines Bjørner and Chaochen Zhou on the Occasion of Their 70th Birthdays

Springer-Verlag Berlin Heidelberg

Nikolaj Bjørner (auth.), Cliff B. Jones, Zhiming Liu, Jim Woodcock (eds.)

Año:

2007

Idioma:

english

Archivo:

PDF, 7.82 MB

0 / 0

english, 2007

17

Formal Methods: Foundations and Applications: 12th Brazilian Symposium on Formal Methods, SBMF 2009 Gramado, Brazil, August 19-21, 2009 Revised Selected Papers

Formal Methods: Foundations and Applications: 12th Brazilian Symposium on Formal Methods, SBMF 2009 Gramado, Brazil, August 19-21, 2009 Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Nicolas Blanc, Daniel Kroening (auth.), Marcel Vinícius Medeiros Oliveira, Jim Woodcock (eds.)

Año:

2009

Idioma:

english

Archivo:

PDF, 3.55 MB

0 / 5.0

english, 2009

18

FM’99 — Formal Methods: World Congress on Formal Methods in the Development of Computing Systems Toulouse, France, September 20–24, 1999 Proceedings, Volume I

FM’99 — Formal Methods: World Congress on Formal Methods in the Development of Computing Systems Toulouse, France, September 20–24, 1999 Proceedings, Volume I

Springer-Verlag Berlin Heidelberg

C. A. R. Hoare (auth.), Jeannette M. Wing, Jim Woodcock, Jim Davies (eds.)

Año:

1999

Idioma:

english

Archivo:

PDF, 14.06 MB

0 / 0

english, 1999

19

LNCS 8051 - Theories of Programming and Formal Methods

LNCS 8051 - Theories of Programming and Formal Methods

Zhiming Liu, Jim Woodcock & Huibiao Zhu (eds.)

Año:

2013

Idioma:

english

Archivo:

FB2 , 3.60 MB

0 / 0

english, 2013

20

Mathematics of Program Construction: Second International Conference, Oxford, U.K., June 29 – July 3, 1992 Proceedings

Mathematics of Program Construction: Second International Conference, Oxford, U.K., June 29 – July 3, 1992 Proceedings

Springer-Verlag Berlin Heidelberg

Rod Burstall (auth.), R. S. Bird, C. C. Morgan, J. C. P. Woodcock (eds.)

Año:

1993

Idioma:

english

Archivo:

PDF, 15.34 MB

0 / 0

english, 1993

21

Nitrate und Nitrattoleranz in der Behandlung der koronaren Herzerkrankung

Nitrate und Nitrattoleranz in der Behandlung der koronaren Herzerkrankung

Steinkopff-Verlag Heidelberg

Prof. Dr. N. Rietbrock, A. Lassmann, B. G. Woodcock (auth.), Prof. Dr. med. G. Kober, Prof. Dr. med. M. Kaltenbach (eds.)

Año:

1983

Idioma:

german

Archivo:

PDF, 6.08 MB

0 / 0

german, 1983

22

LNCS 8051 - Theories of Programming and Formal Methods

LNCS 8051 - Theories of Programming and Formal Methods

Zhiming Liu & Jim Woodcock & Huibiao Zhu (eds.)

Archivo:

RTF , 4.60 MB

0 / 0

23

Theoretical Aspects of Computing – ICTAC 2010: 7th International Colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010. Proceedings

Theoretical Aspects of Computing – ICTAC 2010: 7th International Colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010. Proceedings

Springer-Verlag Berlin Heidelberg

Ian J. Hayes (auth.), Ana Cavalcanti, David Deharbe, Marie-Claude Gaudel, Jim Woodcock (eds.)

Año:

2010

Idioma:

english

Archivo:

PDF, 4.63 MB

0 / 0

english, 2010

24

Formal Methods: Foundations and Applications: 12th Brazilian Symposium on Formal Methods, SBMF 2009 Gramado, Brazil, August 19-21, 2009 Revised Selected Papers

Formal Methods: Foundations and Applications: 12th Brazilian Symposium on Formal Methods, SBMF 2009 Gramado, Brazil, August 19-21, 2009 Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Nicolas Blanc, Daniel Kroening (auth.), Marcel Vinícius Medeiros Oliveira, Jim Woodcock (eds.)

Año:

2009

Idioma:

english

Archivo:

PDF, 7.15 MB

0 / 0

english, 2009

25

LNCS 8051 - Theories of Programming and Formal Methods

LNCS 8051 - Theories of Programming and Formal Methods

Zhiming Liu, Jim Woodcock & Huibiao Zhu (eds.)

Año:

2013

Idioma:

english

Archivo:

LIT , 1.96 MB

0 / 0

english, 2013

26

Theoretical Aspects of Computing – ICTAC 2010: 7th International Colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010. Proceedings

Theoretical Aspects of Computing – ICTAC 2010: 7th International Colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010. Proceedings

Springer-Verlag Berlin Heidelberg

Ian J. Hayes (auth.), Ana Cavalcanti, David Deharbe, Marie-Claude Gaudel, Jim Woodcock (eds.)

Año:

2010

Idioma:

english

Archivo:

PDF, 5.03 MB

0 / 0

english, 2010

27

LNCS 8051 - Theories of Programming and Formal Methods

LNCS 8051 - Theories of Programming and Formal Methods

Jim Woodcock Zhiming Liu & Huibiao Zhu (eds.)

Año:

2013

Idioma:

english

Archivo:

AZW3 , 2.47 MB

0 / 0

english, 2013

28

Software Engineering for Robotics

Software Engineering for Robotics

Ana Cavalcanti, Brijesh Dongol, Rob Hierons, Jon Timmis, Jim Woodcock, (eds)

Año:

2021

Idioma:

english

Archivo:

PDF, 46.46 MB

0 / 5.0

english, 2021

29

Complex Systems Design & Management: Proceedings of the Fourth International Conference on Complex Systems Design & Management CSD&M 2013

Complex Systems Design & Management: Proceedings of the Fourth International Conference on Complex Systems Design & Management CSD&M 2013

Springer International Publishing

John Fitzgerald, Peter Gorm Larsen, Jim Woodcock (auth.), Marc Aiguier, Frédéric Boulanger, Daniel Krob, Clotilde Marchal (eds.)

Año:

2014

Idioma:

english

Archivo:

PDF, 9.09 MB

0 / 0

english, 2014

30

Unifying Theories of Programming and Formal Engineering Methods: International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Advanced Lectures

Unifying Theories of Programming and Formal Engineering Methods: International Training School on Software Engineering, Held at ICTAC 2013, Shanghai, China, August 26-30, 2013, Advanced Lectures

Springer-Verlag Berlin Heidelberg

Ruzhen Dong, Johannes Faber, Wei Ke (auth.), Zhiming Liu, Jim Woodcock, Huibiao Zhu (eds.)

Año:

2013

Idioma:

english

Archivo:

PDF, 3.01 MB

0 / 0

english, 2013

31

Drug Absorption at Different Regions of the Human Gastro-Intestinal Tract: Methods of Investigation and Results / Arzneimittelabsorption aus verschiedenen Bereichen des Gastrointestinaltraktes beim Menschen: Untersuchungsmethoden und Ergebnisse: Proceedin

Drug Absorption at Different Regions of the Human Gastro-Intestinal Tract: Methods of Investigation and Results / Arzneimittelabsorption aus verschiedenen Bereichen des Gastrointestinaltraktes beim Menschen: Untersuchungsmethoden und Ergebnisse: Proceedin

Vieweg+Teubner Verlag

N. Rietbrock (auth.), Norbert Rietbrock, Barry G. Woodcock, A. Horst Staib, Dieter Loew (eds.)

Año:

1987

Idioma:

english

Archivo:

PDF, 2.44 MB

0 / 0

english, 1987

32

Collaborative Design: Proceedings of CoDesigning 2000

Collaborative Design: Proceedings of CoDesigning 2000

Springer-Verlag London

E. B.-N. Sanders (auth.), Stephen A. R. Scrivener DipAD, HDFA, PhD, Linden J. Ball BSc, PhD, Andrée Woodcock BSc, MSc (eds.)

Año:

2000

Idioma:

english

Archivo:

PDF, 26.59 MB

0 / 0

english, 2000

33

Theories of Programming and Formal Methods: Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday

Theories of Programming and Formal Methods: Essays Dedicated to Jifeng He on the Occasion of His 70th Birthday

Springer-Verlag Berlin Heidelberg

Jean-Raymond Abrial (auth.), Zhiming Liu, Jim Woodcock, Huibiao Zhu (eds.)

Año:

2013

Idioma:

english

Archivo:

PDF, 5.34 MB

0 / 0

english, 2013

34

FM’99 — Formal Methods: World Congress on Formal Methods in the Development of Computing Systems Toulouse, France, September 20–24, 1999 Proceedings, Volume I

FM’99 — Formal Methods: World Congress on Formal Methods in the Development of Computing Systems Toulouse, France, September 20–24, 1999 Proceedings, Volume I

Springer-Verlag Berlin Heidelberg

C. A. R. Hoare (auth.), Jeannette M. Wing, Jim Woodcock, Jim Davies (eds.)

Año:

1999

Idioma:

english

Archivo:

PDF, 10.75 MB

0 / 0

english, 1999

35

FME'96: Industrial Benefit and Advances in Formal Methods: Third International Symposium of Formal Methods Europe Co-Sponsored by IFIP WG 14.3 Oxford, UK, March 18–22, 1996 Proceedings

FME'96: Industrial Benefit and Advances in Formal Methods: Third International Symposium of Formal Methods Europe Co-Sponsored by IFIP WG 14.3 Oxford, UK, March 18–22, 1996 Proceedings

Springer-Verlag Berlin Heidelberg

C. A. R. Hoare (auth.), Marie-Claude Gaudel, James Woodcock (eds.)

Año:

1996

Idioma:

english

Archivo:

DJVU, 6.04 MB

0 / 0

english, 1996

36

Verified Software: Theories, Tools, Experiments: First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions

Verified Software: Theories, Tools, Experiments: First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions

Springer-Verlag Berlin Heidelberg

Tony Hoare, Jay Misra (auth.), Bertrand Meyer, Jim Woodcock (eds.)

Año:

2008

Idioma:

english

Archivo:

PDF, 7.65 MB

0 / 0

english, 2008

37

Refinement Techniques in Software Engineering: First Pernambuco Summer School on Software Engineering, PSSE 2004, Recife, Brazil, November 23-December 5, 2004 Revised Lectures

Refinement Techniques in Software Engineering: First Pernambuco Summer School on Software Engineering, PSSE 2004, Recife, Brazil, November 23-December 5, 2004 Revised Lectures

Springer-Verlag Berlin Heidelberg

Ana Cavalcanti, Augusto Sampaio (auth.), Ana Cavalcanti, Augusto Sampaio, Jim Woodcock (eds.)

Año:

2006

Idioma:

english

Archivo:

PDF, 3.00 MB

0 / 0

english, 2006

38

Nitrates and Nitrate Tolerance in Angina Pectoris

Nitrates and Nitrate Tolerance in Angina Pectoris

Steinkopff-Verlag Heidelberg

Dr. N. Rietbrock, A. Lassmann, B. G. Woodcock (auth.), Prof. Dr. med. M. Kaltenbach, Prof. Dr. med. G. Kober (eds.)

Año:

1983

Idioma:

english

Archivo:

PDF, 4.13 MB

0 / 0

english, 1983

39

Theoretical Aspects of Computing – ICTAC 2013: 10th International Colloquium, Shanghai, China, September 4-6, 2013. Proceedings

Theoretical Aspects of Computing – ICTAC 2013: 10th International Colloquium, Shanghai, China, September 4-6, 2013. Proceedings

Springer-Verlag Berlin Heidelberg

Luca Cardelli, Radu Mardare (auth.), Zhiming Liu, Jim Woodcock, Huibiao Zhu (eds.)

Año:

2013

Idioma:

english

Archivo:

PDF, 4.73 MB

0 / 0

english, 2013

40

Z User Workshop, Oxford 1990: Proceedings of the Fifth Annual Z User Meeting, Oxford, 17–18 December 1990

Z User Workshop, Oxford 1990: Proceedings of the Fifth Annual Z User Meeting, Oxford, 17–18 December 1990

Springer-Verlag London

P. H. B. Gardiner, P. J. Lupton, J. C. P. Woodcock (auth.), J. E. Nicholls MA (eds.)

Año:

1991

Idioma:

english

Archivo:

PDF, 13.00 MB

0 / 0

english, 1991

41

Verified Software: Theories, Tools, Experiments: First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions

Verified Software: Theories, Tools, Experiments: First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions

Springer-Verlag Berlin Heidelberg

Tony Hoare, Jay Misra (auth.), Bertrand Meyer, Jim Woodcock (eds.)

Año:

2008

Idioma:

english

Archivo:

PDF, 3.09 MB

0 / 0

english, 2008

42

FM’99 — Formal Methods: World Congress on Formal Methods in the Development of Computing Systems Toulouse, France, September 20–24, 1999 Proceedings, Volume II

FM’99 — Formal Methods: World Congress on Formal Methods in the Development of Computing Systems Toulouse, France, September 20–24, 1999 Proceedings, Volume II

Springer-Verlag Berlin Heidelberg

Pascal Poizat, Christine Choppy, Jean-Claude Royer (auth.), Jeannette M. Wing, Jim Woodcock, Jim Davies (eds.)

Año:

1999

Idioma:

english

Archivo:

PDF, 16.87 MB

0 / 0

english, 1999

43

Unifying Theories of Programming: 4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised Selected Papers

Unifying Theories of Programming: 4th International Symposium, UTP 2012, Paris, France, August 27-28, 2012, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Jim Woodcock, Victor Bandur (auth.), Burkhart Wolff, Marie-Claude Gaudel, Abderrahmane Feliachi (eds.)

Año:

2013

Idioma:

english

Archivo:

PDF, 2.19 MB

0 / 0

english, 2013

44

Verified Software: Theories, Tools, Experiments: Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008. Proceedings

Verified Software: Theories, Tools, Experiments: Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008. Proceedings

Springer-Verlag Berlin Heidelberg

John C. Reynolds (auth.), Natarajan Shankar, Jim Woodcock (eds.)

Año:

2008

Idioma:

english

Archivo:

PDF, 3.67 MB

0 / 0

english, 2008

45

Theoretical Aspects of Computing – ICTAC 2007: 4th International Colloquium, Macau, China, September 26-28, 2007. Proceedings

Theoretical Aspects of Computing – ICTAC 2007: 4th International Colloquium, Macau, China, September 26-28, 2007. Proceedings

Springer-Verlag Berlin Heidelberg

Dines Bjørner (auth.), Cliff B. Jones, Zhiming Liu, Jim Woodcock (eds.)

Año:

2007

Idioma:

english

Archivo:

PDF, 6.33 MB

0 / 0

english, 2007

46

Clinical Pharmacology in the Aged / Klinische Pharmakologie im Alter: Proceedings of the 6th International Symposium on Methods in Clinical Pharmacology, Frankfurt 1985 / Vorträge des 6. Internationalen Symposiums „Methods in Clinical Pharmacology“ Frankf

Clinical Pharmacology in the Aged / Klinische Pharmakologie im Alter: Proceedings of the 6th International Symposium on Methods in Clinical Pharmacology, Frankfurt 1985 / Vorträge des 6. Internationalen Symposiums „Methods in Clinical Pharmacology“ Frankf

Vieweg+Teubner Verlag

Norbert Rietbrock, Barry G. Woodcock (auth.), Norbert Rietbrock, Barry G. Woodcock (eds.)

Año:

1987

Idioma:

german

Archivo:

PDF, 4.82 MB

0 / 0

german, 1987

47

Methods in Clinical Pharmacology: The proceedings of an International Symposium held in Frankfurt/M. 6–8 May 79

Methods in Clinical Pharmacology: The proceedings of an International Symposium held in Frankfurt/M. 6–8 May 79

Vieweg+Teubner Verlag

J. K. Aronson (auth.), Norbert Rietbrock, Barry G. Woodcock, Günter Neuhaus (eds.)

Año:

1980

Idioma:

german

Archivo:

PDF, 9.43 MB

0 / 0

german, 1980

48

Theophylline and other Methylxanthines / Theophyllin und andere Methylxanthine: Proceedings of the 4th International Symposium, Frankfurt/M., 29th and 30th May, 1981 / Vorträge des 4. Internationalen Symposiums, Frankfurt/M., 29. und 30. Mai, 1981

Theophylline and other Methylxanthines / Theophyllin und andere Methylxanthine: Proceedings of the 4th International Symposium, Frankfurt/M., 29th and 30th May, 1981 / Vorträge des 4. Internationalen Symposiums, Frankfurt/M., 29. und 30. Mai, 1981

Vieweg+Teubner Verlag

N. Rietbrock, E. Habermann (auth.), Professor Dr. med. Norbert Rietbrock, Dr. Sen. Lect. Barry George Woodcock, Professor Dr. sc. med. A. Horst Staib (eds.)

Año:

1982

Idioma:

german

Archivo:

PDF, 8.94 MB

0 / 0

german, 1982

49

Balanced Alpha/Beta Blockade of Adrenoceptors / Balancierte Blockade von Alpha- und Beta-Adrenozeptoren: A rational therapeutic concept in the treatment of hypertension and coronary heart disease / Ein rationales Konzept zur Behandlung der Hypertonie und

Balanced Alpha/Beta Blockade of Adrenoceptors / Balancierte Blockade von Alpha- und Beta-Adrenozeptoren: A rational therapeutic concept in the treatment of hypertension and coronary heart disease / Ein rationales Konzept zur Behandlung der Hypertonie und

Vieweg+Teubner Verlag

D. Palm (auth.), Norbert Rietbrock, Barry G. Woodcock (eds.)

Año:

1984

Idioma:

english

Archivo:

PDF, 5.94 MB

0 / 0

english, 1984